用automate de büchi造句
例句與造句
- Un automate de Büchi déterministe opère sur des mots infinis.
- Par contre, tout automate de Büchi est équivalent à un automate de Rabin déterministe.
- Un automate de Büchi est un automate fini avec une condition d'acceptation particulière: une trace est acceptée si et seulement si elle passe un nombre infini de fois par les états acceptants.
- It's difficult to find automate de büchi in a sentence. 用automate de büchi造句挺難的